Knihy od autora Akash Lal

Zobrazené 1 – 9 z 9 výsledkov

1. 

   Verification, Model Checking, and Abstract Interpretation

   Deepak D'Souza, Akash Lal, Kim Gulstrand Larsen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
2. 

   Verified Software. Theories, Tools and Experiments.

   Akash Lal, Stefano Tonetta | Springer Nature B.V., 2023

   
   

   Skladom u dodávateľa - Odosielame za 10 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   57.01 €

   Zľava 0 %

   Ušetríte 0.01 €

   Kúpiť
3. 

   Computer Aided Verification

   Constantin Enea, Akash Lal | Springer Nature B.V., 2023

   
   

   Skladom u dodávateľa - Odosielame za 10 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   57.01 €

   Zľava 0 %

   Ušetríte 0.01 €

   Kúpiť
4. 

   Computer Aided Verification

   Constantin Enea, Akash Lal | Springer Nature B.V., 2023

   
   

   Skladom u dodávateľa - Odosielame za 10 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   57.01 €

   Zľava 0 %

   Ušetríte 0.01 €

   Kúpiť
5. 

   Computer Aided Verification

   Constantin Enea, Akash Lal | Springer, Berlin, 2023

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   41.41 €

   Zľava 7 %

   Ušetríte 3.44 €

   Kúpiť
6. 

   Computer Aided Verification

   Constantin Enea, Akash Lal | Springer, Berlin, 2023

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   41.41 €

   Zľava 7 %

   Ušetríte 3.44 €

   Kúpiť
7. 

   Computer Aided Verification

   Constantin Enea, Akash Lal | Springer Nature B.V., 2023

   
   

   Skladom u dodávateľa - Odosielame za 10 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   57.01 €

   Zľava 0 %

   Ušetríte 0.01 €

   Kúpiť
8. 

   Verified Software. Theories, Tools and Experiments.

   Akash Lal, Stefano Tonetta | Springer, Berlin, 2023

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
9. 

   Computer Aided Verification

   Constantin Enea, Akash Lal | Springer, Berlin, 2023

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   41.41 €

   Zľava 7 %

   Ušetríte 3.44 €

   Kúpiť

Máte na výber zo mnohých spôsobov platby za váš nákup. Zistite viac